Iterative Development of Transformation Models by Using Classifying Terms (short paper) Frank Hilken1 Loli Burgueño2

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Engineering
• Systems science
• Software engineering
• Model transformation
• Model theory
• Metamodeling
• Object Process Methodology
• Scientific modelling

APPROXIMATING SIGNALS SUPPORTED ON GRAPHS Xiaofan Zhu and Michael Rabbat Department of Electrical and Computer Engineering, McGill University 3480 University St, Montreal QC, Canada H3A 2A7 ABSTRACT In this paper, we inv

Source URL: www.ece.mcgill.ca

International Innovation in Knowledge Based and Intelligent Engineering Systems Guidance Notes for Invited Session Chairs at KES Conferences and Symposia There are two types of paper presentation sessions at KES conferen

Source URL: kes2011.kesinternational.org

Dell Fluid File System A Dell Technology White Paper Version 2.0 Enterprise Storage Solutions Engineering Dell Product Group

Source URL: i.dell.com

Paper Title: Journals of the Engineering and Technology Publishing

Source URL: www.icsip.org

Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

Source URL: ect.bell-labs.com

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Programming language semantics
• Models of computation
• Operational semantics
• Semantics
• Bisimulation
• Process calculus
• Programming language
• Transition system

Preparation of Ni/Cu composite nanowires Hu Wang, Xiaoyu Li, Ming Li, Kenan Xie and Li Liao*§ Full Research Paper Address: School of Chemical Engineering, Sichuan University, Chengdu

Source URL: www.beilstein-journals.org

Paper Title (use style: paper title)

Source URL: swat.polymtl.ca

• Knowledge representation
• Semantic Web
• Knowledge engineering
• Ontology
• Artificial intelligence
• WordNet
• Web Ontology Language
• Knowledge representation and reasoning
• Frame language
• Draft:Outline of ontologies
• Upper ontology

Generalized Binary Search Robert Nowak, Department of Electrical and Computer Engineering, University of Wisconsin-Madison Abstract—This paper studies a generalization of the classic binary search pr

Source URL: nowak.ece.wisc.edu

Testing Polymorphic Properties Jean-Philippe Bernardy, Patrik Jansson, and Koen Claessen Chalmers University of Technology {bernardy,patrikj,koen}@chalmers.se Abstract. This paper is concerned with testing properties of

Source URL: publications.lib.chalmers.se

• Software engineering
• Declarative programming
• Mathematics
• Type theory
• Functional programming
• Functions and mappings
• Polymorphism
• Computability theory
• Parametricity
• Auxiliary function
• Currying
• Functor